Process Networks in Ptolemy II
نویسنده
چکیده
Process Networks in Ptolemy II
منابع مشابه
Joint Modeling and Design of Wireless Networks and Sensor Node Software
We present Viptos (Visual Ptolemy and TinyOS), a joint modeling and design environment for wireless networks and sensor node software. Viptos is built on Ptolemy II, a graphical modeling and simulation environment for embedded systems, and TOSSIM, an interrupt-level discrete event simulator for homogeneous TinyOS networks. Viptos includes the full capabilities of VisualSense, a Ptolemy II envir...
متن کاملDesign and Simulation of Heterogeneous Control Systems Using Ptolemy Ii
Complex control systems are heterogeneous from both an implementation and a modeling perspective. Design and simulation environments for such systems need to integrate different component interaction styles, like differential equations, discrete events, state machines, dataflow networks, and real-time scheduling. This paper motivates the use of Ptolemy II software environment for modeling and s...
متن کاملVerifying Ptolemy II Discrete-Event Models Using Real-Time Maude
This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...
متن کاملProcess Networks and Rendezvous
This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, visit: http://creativecommons.org/licenses/by-sa/3.0/, or send a letter to Creative Commons, 444 Castro Street, Suite 900, Mountain View, California, 94041, USA. Permissions beyond t...
متن کاملSensor Networks Modeling and Simulation in Ptolemy II
With the use of micro sensors on the rise in technologies today a need for a better understanding of the interactions of such sensors is crucial. Many challenges arise when trying to model and simulate networks of these sensors (also called sensor networks). Sensors have various capabilities and constraints that provide this difficulty. A complete model of a sensor network is needed to improve ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998